Search Results

Christine Tasson: Semantics for Probabilistic Programming

Christine Tasson: Semantics for Probabilistic Programming

Christine Tasson: "Probabilistic Programming and Semantics"

Christine Tasson: "Probabilistic Programming and Semantics"

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Semantic Foundations for Probabilistic Programming

Semantic Foundations for Probabilistic Programming

Probabilistic Call By Push Value

Probabilistic Call By Push Value

Christine Tasson, IRIF, Paris, "Towards a model of mixed linear and non-linear substitution."

Christine Tasson, IRIF, Paris, "Towards a model of mixed linear and non-linear substitution."

Semantics of Higher-Order Probabilistic Programs with Conditioning

Semantics of Higher-Order Probabilistic Programs with Conditioning

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages

Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages